#ifndef __EKOS_KERNEL_SYS_H__
#define __EKOS_KERNEL_SYS_H__

struct initial_configuration_t
{
	 int has_pic;
	 int use_pic;

	 int lcpu_count;
	 int lcpu_boot;
	 int use_lapic;
	 physaddr_t lapic_phys;

	 int ioapic_count;
	 int use_ioapic;

	 int        has_hpet;
	 physaddr_t hpet_phys;
};

extern struct initial_configuration_t initial_conf;
extern struct sysconf_t sysconf;
extern struct sysconf_extra_t sysconf_extra;

/* Read the system configuration from ACPI */
int sys_init(void);
int sys_post_fix(void);

#endif
